If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
The problems involve the correct expression of the rule of three rigidity pieces, the proving of the proposition about symmetry and possibility of reducing contents about the influence line etc.
这些问题包括三刚片规则的准确表述、带虚铰的三刚片规则的证明、与对称性有关的命题的证明和删减影响线有关内容的可能性等等。
On the process of solving and proving mathematical proposition, using logical thought ability exactly will make steps strict and ordered.
在解决、论证数学命题过程中，准确使用逻辑思维方法，可使具体解题步骤严谨周密，条理清晰，形成完整的推理体。
应用推荐